partial application
部分適用
η-conversion
POP-2
Restriction (mathematics), the more general phenomenon of restricting a function to a subset of its domain
/suto3/google.iconpartial application
image partial application
define partial application
wikipedia partial application
weblio partial application
kotobank partial application
jisho partial application